Knihy od autora Rolf Drechsler

Zobrazeno 20 – 40 z 68 výsledků

1. 

   Formal System Verification

   Rolf Drechsler | Springer International Publishing AG, 2017

   
   

   Skladem u dodavatele - Odesíláme za 10-13 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   2989 Kč

   Koupit
2. 

   Advanced Logic Synthesis

   Rolf Drechsler, André Inácio Reis | Springer International Publishing AG, 2018

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   2492 Kč

   Koupit
3. 

   Design für Testbarkeit, Fehlersuche und Zuverlässigkeit

   Sebastian Huhn, Rolf Drechsler | Springer, Berlin, 2024

   
   

   Skladem u dodavatele - Odesíláme za 10-13 dnů

   Jazyk: Němčina

   Vazba: Pevná

   2561 Kč

   Koupit
4. 

   Formal Modeling and Verification of Cyber-Physical Systems

   Rolf Drechsler, Ulrich Kühne | Springer Fachmedien Wiesbaden, 2015

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1250 Kč

   Koupit
5. 

   Towards One-Pass Synthesis

   Rolf Drechsler, Wolfgang Günther | Springer-Verlag New York Inc., 2010

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   2492 Kč

   Koupit
6. 

   Formal Verification of Circuits

   Rolf Drechsler | Springer, Berlin, 2010

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   4058 Kč

   Koupit
7. 

   Formal Specification Level, 1

   Mathias Soeken, Rolf Drechsler | Springer, Berlin, 2014

   
   

   Skladem u dodavatele - Odesíláme za 10-13 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   2492 Kč

   Koupit
8. 

   Recent Findings in Boolean Techniques

   Rolf Drechsler | Springer Nature Switzerland AG, 2021

   
   

   Skladem u dodavatele - Odesíláme za 10-13 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   2492 Kč

   Koupit
9. 

   Formal Verification of Structurally Complex Multipliers

   Alireza Mahzoon, Daniel Große, Rolf Drechsler | Springer, Berlin, 2024

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   2244 Kč

   Koupit
10. 

    In-Memory-Computing

    Saeideh Shirinzadeh, Rolf Drechsler | Springer, Berlin, 2023

    
    

    Skladem u dodavatele - Odesíláme za 10-13 dnů

    Jazyk: Němčina

    Vazba: Pevná

    2561 Kč

    Koupit
11. 

    Advanced Logic Synthesis

    André Inácio Reis, Rolf Drechsler | Springer International Publishing AG, 2017

    
    

    Skladem u dodavatele - Odesíláme za 10-13 dnů

    Jazyk: Angličtina

    Vazba: Pevná

    2492 Kč

    Koupit
12. 

    Formal Verification of Circuits

    Rolf Drechsler | Springer, Berlin, 2000

    
    

    Skladem u dodavatele - Odesíláme za 10-13 dnů

    Jazyk: Angličtina

    Vazba: Pevná

    3734 Kč

    Koupit
13. 

    Computer

    Rolf Drechsler, Andrea Fink, Jannis Stoppe | Springer Berlin Heidelberg, 2017

    
    

    Skladem u dodavatele - Odesíláme za 8-11 dnů

    Jazyk: Němčina

    Vazba: Brožovaná

    436 Kč

    Koupit
14. 

    Test Pattern Generation using Boolean Proof Engines

    Rolf Drechsler, Stephan Eggersglüß, Görschwin Fey, Daniel Tille | Springer, 2010

    
    

    Skladem u dodavatele - Odesíláme za 5-8 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    2492 Kč

    Koupit
15. 

    Towards One-Pass Synthesis

    Rolf Drechsler, Wolfgang Günther | Springer-Verlag New York Inc., 2002

    
    

    Skladem u dodavatele - Odesíláme za 10-13 dnů

    Jazyk: Angličtina

    Vazba: Pevná

    2492 Kč

    Koupit
16. 

    Formal System Verification

    Rolf Drechsler | Springer International Publishing AG, 2018

    
    

    Skladem u dodavatele - Odesíláme za 5-8 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    2989 Kč

    Koupit
17. 

    Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

    Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler | Springer International Publishing AG, 2019

    
    

    Skladem u dodavatele - Odesíláme za 5-8 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    3734 Kč

    Koupit
18. 

    In-Memory Computing

    Saeideh Shirinzadeh, Rolf Drechsler | Springer Nature Switzerland AG, 2019

    
    

    Skladem u dodavatele - Odesíláme za 10-13 dnů

    Jazyk: Angličtina

    Vazba: Pevná

    2492 Kč

    Koupit
19. 

    Evolutionary Algorithms for VLSI CAD

    Rolf Drechsler | Springer, Berlin, 1998

    
    

    Skladem u dodavatele - Odesíláme za 10-13 dnů

    Jazyk: Angličtina

    Vazba: Pevná

    2492 Kč

    Koupit
20. 

    Advanced Formal Verification

    Rolf Drechsler | Springer-Verlag New York Inc., 2004

    
    

    Skladem u dodavatele - Odesíláme za 10-13 dnů

    Jazyk: Angličtina

    Vazba: Pevná

    2492 Kč

    Koupit

Knihy si můžete vyzvednout na mnoha místech po celé ČR. Zjistěte více